-
1 максимальный собственный эпиморфизм
Mathematics: MPE (maximal proper epimorphism)Универсальный русско-английский словарь > максимальный собственный эпиморфизм
См. также в других словарях:
Equivalence of categories — In category theory, an abstract branch of mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are essentially the same . There are numerous examples of categorical equivalences… … Wikipedia
Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… … Wikipedia